21. Logical tools for handling change in agent-based systems
پدیدآورنده : Dov M. Gabbay, Karl Schlechta
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
22. Non-monotonic extensions of logic programming :
پدیدآورنده : Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
N68
1995
23. Non-monotonic extensions of logic programming : Second International Workshop NMELP'96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
پدیدآورنده : Jurgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1216
24. Nonmonotonic logics : basic concepts, results, and techniques
پدیدآورنده : Schlechta, Karl.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Default reasoning , Logic , Artificial intelligence , Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
25. Nonmonotonic logics : basic concepts, results and techniques
پدیدآورنده : Schlechta, Karl
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Default reasoning,، Logic,، Artificial intelligence,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1187
26. Nonmonotonic logics: basic concepts, results, and techniques
پدیدآورنده : Schlechta, Karl
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Default reasoning,، Logic,، Artificial intellgence,، Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
27. Od logiki klasycznej do niemonotonicznej /
پدیدآورنده : David Makinson ; przełożył Tomasz Jarmużek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Nonmonotonic reasoning.
رده :
BC108
.
M318165
2008
28. Od logiki klasycznej do niemonotonicznej /
پدیدآورنده : David Makinson ; przełożył Tomasz Jarmużek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Nonmonotonic reasoning.
رده :
BC108
.
M318165
2008
29. monotonic turn in logic-The many valued and non
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : valued logic. ; Nonmonotonic reasoning. ; -Many
